O problema da altura da estrela na teoria das linguagens formais é a questão se todas linguagens regulares podem ser expressas usando Expressões regulares de Altura da estrela limitada, isto é, com uma profundidade aninhada da Estrela de Kleene limitada. Especificamente, um aninhamento profundo de um caminho é sempre suficiente? Se não, existe um Algoritmo para determinar quantas são requeridas? O problema foi levantado por Eggan (1963).